Analytic languages

#	Item
181	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
182	The PracTEX Journal, 2007, No. 1 Article revision[removed] Add to Reading List Source URL: www.tug.org Language: English - Date: 2010-06-09 20:47:50 Conic sections Curves Analytic geometry Coordinate systems Geometry Vector graphics markup languages PGF/TikZ
183	FreeMat v4.0 Documentation Samit Basu October 4, 2009 Add to Reading List Source URL: freemat.sourceforge.net Language: English - Date: 2009-10-05 22:39:36 Abstract algebra Analytic functions Array programming languages Numerical linear algebra Procedural programming languages Inverse function Array programming Matrix Trigonometric functions Mathematics Software engineering Computing